翻訳と辞書
Words near each other
・ opentransport
・ openvms
・ openwindows
・ operand
・ operating system
・ operating system/360
・ operating system/multiprogramming of fixed tasks
・ operation code
・ operational database
・ operational requirements
operational semantics
・ operational test and evaluation
・ operational testing
・ operations support technician
・ operator
・ operator control language
・ operator overloading
・ opportunity management system
・ ops
・ ops5


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

operational semantics : FOLDOC
operational semantics
A set of rules specifying how the state of an actual or hypothetical computer changes while executing a program. The overall state is typically divided into a number of components, e.g. stack, heap, registers etc. Each rule specifies certain preconditions on the contents of some components and their new contents after the application of the rule.
It is similar in spirit to the notion of a Turing machine, in which actions are precisely described in a mathematical way.
Compuare axiomatic semantics, denotational semantics.
(1996-08-21)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.